Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
51	Hill equations E.J.O. Schrama TU Delft, Faculty of Aerospace Engineering e-mail: November 13, 2006 Add to Reading List Source URL: www.deos.tudelft.nl Language: English - Date: 2006-11-13 07:56:08 Mathematical analysis Mathematics Calculus Constructible universe Lie algebras Envelope Partial differential equation
52	Quantifiers and Negation October 2, Reading Quantifiers Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Quantification Mathematical logic Abstraction Semantics Predicate logic Universal quantification Existential quantification Quantifier FO Negation Constructible universe
53	RSNA 2015 – RCA22 A Practical Introduction to Structured Reporting Tools and Resources DICOM Structured Reports (SR) David Clunie () PixelMed Publishing Add to Reading List Source URL: www.dclunie.com Language: English - Date: 2015-12-12 10:30:13 Medical imaging Telehealth Computing Software engineering Programming language theory DICOM Region of interest Knowledge representation Constructible universe ALGOL 68 Tree Vendor Neutral Archive
54	Property-Driven Scenario Integration Jewgenij Botaschanjan and Alexander Harhurin Technische Universität München Department of Informatics Boltzmannstr. 3, 85748 Garching, Germany {botascha,harhurin}@in.tum.de Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Mathematics Constructible universe Net NC Proof theory Theoretical computer science Abstraction Ordinal numbers CurryHoward correspondence
55	The Variational Cluster Approximation R. Eder Karlsruhe Institute of Technology, Institut f¨ur Festk¨orperphysik Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2013-09-26 12:50:05 Constructible universe Mathematics Generalised Whitehead product Mathematical analysis Differential forms on a Riemann surface
56	arXiv:0708.0670v2 [math.SP] 16 Jun 2008 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-06-16 14:08:47 Mathematical analysis Operator theory Functional analysis Constructible universe Eigenfunction Partial differential equations Ordinal numbers Harmonic analysis Differential forms on a Riemann surface NeumannPoincar operator
57	Assessing complex route choice models using mental representations Evanthia Kazagli Michel Bierlaire TRANSP-OR, EPFL Add to Reading List Source URL: www.strc.ch Language: English - Date: 2016-06-11 10:36:19 Statistics Statistical models Choice modelling Transportation planning Discrete choice Logit Magnetic resonance imaging Route assignment Logistic regression Constructible universe
58	Discrete Time Models in Economic Theory Kazuo Nishimura 1 and John Stachurski 2 Institute of Economic Research, Kyoto University Yoshida-honmachi, Sakyo-ku, Kyoto 606–8501, Japan Abstract Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:40 CobbDouglas production function Microeconomics Constructible universe Mathematical analysis Economics Statistics
59	Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-08-07 07:54:13 Mathematics Mathematical logic Logic Foundations of mathematics Z notation ZermeloFraenkel set theory Determinacy Set theory Second-order arithmetic Constructible universe Model theory Descriptive set theory
60	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00